package org.adoxx.project.lola;

import javax.jws.WebParam;
import javax.jws.WebService;
import javax.ws.rs.FormParam;
import javax.ws.rs.POST;
import javax.ws.rs.Path;
import javax.ws.rs.Produces;
import javax.ws.rs.QueryParam;
import javax.ws.rs.core.Response;

import org.adoxx.project.lola.model.LoLAResponse;
	
import io.swagger.annotations.Api;
import io.swagger.annotations.ApiOperation;
import io.swagger.annotations.ApiResponse;
import io.swagger.annotations.ApiResponses;

@WebService(endpointInterface = "org.adoxx.project.lola.LoLaVerification")
@Path("/lolaservice")
@Api(tags = { "LoLA Interface" })
public interface LoLAVerification {

	/**
	 * This operation allows to analyse LoLA commands remotely. The structure is
	 * based on the command line interface as provided. Usage: lola [FILE]
	 * [--formula=FORMULA] [OPTIONS]...
	 * 
	 * @param operationSerial
	 * @return
	 */

	@POST
	@Path("/analyse")
	@Produces("application/json; charset=UTF-8")

	@ApiOperation(value = "analyse", notes = "analyse", response = LoLAResponse.class, responseContainer = "LoLAResponse")
	@ApiResponses(value = { @ApiResponse(code = 400, message = "Bad input provided, missing input"), @ApiResponse(code = 404, message = "LoLA Server not available") })
	public Response analyse(@FormParam("network") @WebParam(name = "network") String network, @QueryParam("formula") @WebParam(name = "formula") String formula, @QueryParam("options") @WebParam(name = "options") String options);

}